existential quantifier

英 [ˌeɡzɪˈstenʃəl ˈkwɒntɪfaɪə(r)]

美 [ˌeɡzɪˈstenʃəl ˈkwɑːntɪfaɪər]

网络  存在量词; 存在量詞; 量词; 语法成分

计算机

英英释义

noun

• a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
  Synonym:existential operator

双语例句

• This paper dissected the necessity for introduction of the Existential Quantifier into Mathematical Logic, which is only a technical improvement, but not a real solution to the natural problem in mathematics foundations of the Russell Paradox.
  浅析了数理逻辑中存在性不能作为谓词的原因、背景，阐明存在量词引入的合理性和必要性，指出存在量词的引入是技术上的改进，并未真正解决数学基础存在的固有问题-罗素悖论。
• Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic.
  任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。
• The Necessity for Introduction of the Existential Quantifier into Mathematical Logic
  数理逻辑中存在量词引入的必要性
• In this paper, we wish to explicate the scope properties of the cardinality wh-phrases and propose a decomposition analysis with which any of such phrases can be decomposed into a cardinality wh-operator and an existential group quantifier.
  本文试图说明数量疑问短语的辖域特征并提出解构分析法将此类短语分解为数量疑问算子与存在集体量词。